Jayadev Misra：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (21)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Theories of Programming: The Life and Works of Tony Hoare

ACM Books

Cliff B Jones, Jayadev Misra, (eds.)

年:

2021

语言:

english

文件:

PDF, 12.99 MB

5.0 / 0

english, 2021

Parallel Program Design: A Foundation

Addison-Wesley Pub (Sd)

K. Mani Chandy, Jayadev Misra

年:

1988

语言:

english

文件:

PDF, 19.93 MB

0 / 0

english, 1988

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

年:

2006

语言:

english

文件:

PDF, 6.76 MB

0 / 0

english, 2006

Parallel Program Design: A Foundation

Addison-Wesley Pub (Sd)

K. Mani Chandy, Jayadev Misra

年:

1988

语言:

english

文件:

DJVU, 4.39 MB

0 / 0

english, 1988

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

年:

2011

语言:

english

文件:

PDF, 3.64 MB

0 / 0

english, 2011

Euro-Par 2002 Parallel Processing: 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick Vin (auth.), Burkhard Monien, Rainer Feldmann (eds.)

年:

2002

语言:

english

文件:

PDF, 12.94 MB

0 / 0

english, 2002

A Discipline of Multiprogramming

Springer Science & Business Media

Jayadev Misra

年:

2012

语言:

english

文件:

PDF, 32.69 MB

0 / 0

english, 2012

Communications of the ACM - April 2022

Cliff Jones, Jayadev Misra

年:

2022

语言:

english

文件:

PDF, 13.35 MB

5.0 / 0

english, 2022

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

年:

2011

语言:

english

文件:

PDF, 3.74 MB

0 / 0

english, 2011

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)

年:

1992

语言:

english

文件:

PDF, 6.28 MB

0 / 0

english, 1992

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)

年:

1992

语言:

english

文件:

DJVU, 3.48 MB

0 / 0

english, 1992

Parallel Program Design: A Foundation

Addison Wesley

K. Mani Chandy, Jayadev Misra

年:

1988

语言:

english

文件:

DJVU, 3.38 MB

0 / 0

english, 1988

A discipline of multiprogramming: programming theory for distributed applications

Springer

Misra, Jayadev

年:

2001

语言:

english

文件:

DJVU, 2.78 MB

0 / 4.5

english, 2001

Theories of Programming: The Life and Works of Tony Hoare

Association for Computing Machinery

Cliff B. Jones, Jayadev Misra

年:

2021

语言:

english

文件:

PDF, 12.99 MB

5.0 / 0

english, 2021

Effective Theories in Programming Practice

ACM Books

Jayadev Misra

年:

2022

语言:

english

文件:

PDF, 13.46 MB

0 / 5.0

english, 2022

Effective Theories in Programming Practice

Association for Computing Machinery

Jayadev Misra

年:

2022

语言:

english

文件:

EPUB, 7.28 MB

0 / 5.0

english, 2022

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

Springer

Jayadev Misra

年:

2001

语言:

english

文件:

PDF, 9.72 MB

0 / 0

english, 2001

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

年:

1989

语言:

english

文件:

PDF, 17.11 MB

0 / 0

english, 1989

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

年:

1989

语言:

english

文件:

DJVU, 3.95 MB

0 / 0

english, 1989

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)

年:

2009

语言:

english

文件:

PDF, 5.36 MB

0 / 0

english, 2009

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)

年:

2009

语言:

english

文件:

PDF, 3.05 MB

0 / 0

english, 2009